<html>
<head><meta charset="utf-8"><title>various region bugs · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html">various region bugs</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="150844271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844271">(Dec 04 2018 at 12:57)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> so in going through the polonius results, I'm encountering a number of test cases that don't seem to error in NLL mode, but I .. think they should.  Did you notice these before?</p>
<p>Two examples:</p>
<ul>
<li><a href="http://regions-assoc-type-in-supertrait-outlives-container.rs" target="_blank" title="http://regions-assoc-type-in-supertrait-outlives-container.rs">regions-assoc-type-in-supertrait-outlives-container.rs</a> (I edited the test somewhat to dodge the dead code issue)</li>
<li><a href="http://regions-free-region-ordering-caller.rs" target="_blank" title="http://regions-free-region-ordering-caller.rs">regions-free-region-ordering-caller.rs</a></li>
</ul>



<a name="150844278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844278">(Dec 04 2018 at 12:57)</a>:</h4>
<p>(cc <span class="user-mention" data-user-id="116107">@davidtwco</span>)</p>



<a name="150844280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844280">(Dec 04 2018 at 12:57)</a>:</h4>
<p>is there an issue about this?</p>



<a name="150844336"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844336" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844336">(Dec 04 2018 at 12:58)</a>:</h4>
<p>Do you mean NLL mode as in NLL compare mode (ie. migrate) or with actual NLL?</p>



<a name="150844341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844341">(Dec 04 2018 at 12:58)</a>:</h4>
<p>actual NLL</p>



<a name="150844351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844351">(Dec 04 2018 at 12:58)</a>:</h4>
<p>I think in compare mode they .. probably still error</p>



<a name="150844352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844352">(Dec 04 2018 at 12:58)</a>:</h4>
<p>Just checking - I've tripped myself up more than once.</p>



<a name="150844360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844360">(Dec 04 2018 at 12:59)</a>:</h4>
<p>actually</p>



<a name="150844364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844364">(Dec 04 2018 at 12:59)</a>:</h4>
<p>they don't</p>



<a name="150844367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844367">(Dec 04 2018 at 12:59)</a>:</h4>
<p>er, wait</p>



<a name="150844370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844370">(Dec 04 2018 at 12:59)</a>:</h4>
<p>in <em>migrate</em> they do</p>



<a name="150844371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844371">(Dec 04 2018 at 12:59)</a>:</h4>
<p>but not in NLL</p>



<a name="150844372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844372">(Dec 04 2018 at 12:59)</a>:</h4>
<p>(as expected, as these are region errors)</p>



<a name="150844380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844380">(Dec 04 2018 at 12:59)</a>:</h4>
<p>I may try to fix these during the plenary today</p>



<a name="150844403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844403">(Dec 04 2018 at 13:00)</a>:</h4>
<p>speaking of which, oh, shoot, I should go get breakfast</p>



<a name="150844463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844463">(Dec 04 2018 at 13:00)</a>:</h4>
<p>links to save others time: <a href="https://github.com/rust-lang/rust/blob/master/src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs" target="_blank" title="https://github.com/rust-lang/rust/blob/master/src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs">regions-assoc-type-in-supertrait-outlives-container.rs</a> and <a href="https://github.com/rust-lang/rust/blob/master/src/test/ui/regions/regions-free-region-ordering-caller.rs" target="_blank" title="https://github.com/rust-lang/rust/blob/master/src/test/ui/regions/regions-free-region-ordering-caller.rs">regions-free-region-ordering-caller.rs</a></p>



<a name="150844505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844505">(Dec 04 2018 at 13:01)</a>:</h4>
<p>I recognize that first test as something that changed (IIRC) on my type annot unreachable code branch.</p>



<a name="150844569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844569">(Dec 04 2018 at 13:02)</a>:</h4>
<div class="codehilite"><pre><span></span>~/projects/rust/issue-54943 issue-54943* david@dtw-avendahl
❯ ./build/x86_64-unknown-linux-gnu/stage2/bin/rustc -Z borrowck=mir -Z two-phase-borrows src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs
error: unsatisfied lifetime constraints
  --&gt; src/test/ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs:52:13
   |
44 | fn with_assoc&lt;&#39;a,&#39;b&gt;() {
   |               -- -- lifetime `&#39;b` defined here
   |               |
   |               lifetime `&#39;a` defined here
...
52 |     let _x: &amp;&#39;a WithAssoc&lt;TheType&lt;&#39;b&gt;&gt; = loop { };
   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^ assignment requires that `&#39;b` must outlive `&#39;a`

error: aborting due to previous error
</pre></div>



<a name="150844598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844598">(Dec 04 2018 at 13:03)</a>:</h4>
<p>Now I think about it though, I think I expected that test to change and it didn't.</p>



<a name="150844676"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844676" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844676">(Dec 04 2018 at 13:04)</a>:</h4>
<p>I also get errors for the other test (on that branch, not sure if it is that branch's changes causing it).</p>



<a name="150844739"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844739" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844739">(Dec 04 2018 at 13:05)</a>:</h4>
<div class="codehilite"><pre><span></span>~/projects/rust/issue-54943 issue-54943* david@dtw-avendahl
❯ ./build/x86_64-unknown-linux-gnu/stage2/bin/rustc -Z borrowck=mir -Z two-phase-borrows src/test/ui/regions/regions-free-region-ordering-caller.rs
[...I removed some warnings here...]
error: unsatisfied lifetime constraints
  --&gt; src/test/ui/regions/regions-free-region-ordering-caller.rs:18:12
   |
17 | fn call2&lt;&#39;a, &#39;b&gt;(a: &amp;&#39;a usize, b: &amp;&#39;b usize) {
   |          --  -- lifetime `&#39;b` defined here
   |          |
   |          lifetime `&#39;a` defined here
18 |     let z: Option&lt;&amp;&#39;b &amp;&#39;a usize&gt; = None;//~ ERROR E0623
   |            ^^^^^^^^^^^^^^^^^^^^^ assignment requires that `&#39;a` must outlive `&#39;b`

error: unsatisfied lifetime constraints
  --&gt; src/test/ui/regions/regions-free-region-ordering-caller.rs:23:12
   |
21 | fn call3&lt;&#39;a, &#39;b&gt;(a: &amp;&#39;a usize, b: &amp;&#39;b usize) {
   |          --  -- lifetime `&#39;b` defined here
   |          |
   |          lifetime `&#39;a` defined here
22 |     let y: Paramd&lt;&#39;a&gt; = Paramd { x: a };
23 |     let z: Option&lt;&amp;&#39;b Paramd&lt;&#39;a&gt;&gt; = None;//~ ERROR E0623
   |            ^^^^^^^^^^^^^^^^^^^^^^ assignment requires that `&#39;a` must outlive `&#39;b`

error: unsatisfied lifetime constraints
  --&gt; src/test/ui/regions/regions-free-region-ordering-caller.rs:27:12
   |
26 | fn call4&lt;&#39;a, &#39;b&gt;(a: &amp;&#39;a usize, b: &amp;&#39;b usize) {
   |          --  -- lifetime `&#39;b` defined here
   |          |
   |          lifetime `&#39;a` defined here
27 |     let z: Option&lt;&amp;&#39;a &amp;&#39;b usize&gt; = None;//~ ERROR E0623
   |            ^^^^^^^^^^^^^^^^^^^^^ assignment requires that `&#39;b` must outlive `&#39;a`

error: aborting due to 3 previous errors
</pre></div>



<a name="150844762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150844762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150844762">(Dec 04 2018 at 13:06)</a>:</h4>
<p>Unless of course I'm misunderstanding what you are expecting.</p>



<a name="150845339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150845339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150845339">(Dec 04 2018 at 13:16)</a>:</h4>
<p>That said, I can confirm that there are no errors at all on the playground: <a href="https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2015&amp;gist=6c0099da705085a4a98ee1b108658dad" target="_blank" title="https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2015&amp;gist=6c0099da705085a4a98ee1b108658dad">regions-assoc-type-in-supertrait-outlives-container.rs</a> and <a href="https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2015&amp;gist=3256bb43bbdbfb00df4c7a9194effa2c" target="_blank" title="https://play.rust-lang.org/?version=nightly&amp;mode=debug&amp;edition=2015&amp;gist=3256bb43bbdbfb00df4c7a9194effa2c">regions-free-region-ordering-caller.rs</a></p>



<a name="150850268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150850268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150850268">(Dec 04 2018 at 14:23)</a>:</h4>
<blockquote>
<p>Now I think about it though, I think I expected that test to change and it didn't.</p>
</blockquote>
<p>( I added a fix that makes it not dead code and it still does not error for me)</p>



<a name="150850541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150850541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150850541">(Dec 04 2018 at 14:27)</a>:</h4>
<p>do we have a bug for "weak tests"? I did a bit more detailed review and found that I would classify as "weak":</p>
<ul>
<li>ui/cleanup-rvalue-scopes-cf.rs</li>
<li>ui/closure_promotion.rs</li>
</ul>
<p>sorry <span class="user-mention" data-user-id="116083">@pnkfelix</span> I can't remember :)</p>



<a name="150850608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150850608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150850608">(Dec 04 2018 at 14:28)</a>:</h4>
<p>i don't think we have a dedicated bug anymore; the review project would say for sure</p>



<a name="150850612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150850612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150850612">(Dec 04 2018 at 14:28)</a>:</h4>
<p>let me go find the link for that</p>



<a name="150850636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150850636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150850636">(Dec 04 2018 at 14:28)</a>:</h4>
<p>diagnostic review project: <a href="https://github.com/rust-lang/rust/projects/10" target="_blank" title="https://github.com/rust-lang/rust/projects/10">https://github.com/rust-lang/rust/projects/10</a></p>



<a name="150850647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150850647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150850647">(Dec 04 2018 at 14:28)</a>:</h4>
<p>maybe this: <a href="https://github.com/rust-lang/rust/projects/10#column-3663841" target="_blank" title="https://github.com/rust-lang/rust/projects/10#column-3663841">https://github.com/rust-lang/rust/projects/10#column-3663841</a></p>



<a name="150850675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150850675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150850675">(Dec 04 2018 at 14:29)</a>:</h4>
<p>but I certainly don't object to making such a bug</p>



<a name="150850757"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150850757" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150850757">(Dec 04 2018 at 14:30)</a>:</h4>
<p>and there was this issue <a href="https://github.com/rust-lang/rust/issues/51025" target="_blank" title="https://github.com/rust-lang/rust/issues/51025">#51025</a></p>



<a name="150850798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150850798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150850798">(Dec 04 2018 at 14:30)</a>:</h4>
<p>but I think that (<a href="https://github.com/rust-lang/rust/issues/51025" target="_blank" title="https://github.com/rust-lang/rust/issues/51025">#51025</a>) was meant to just capture the cases I was able to identify at that time</p>



<a name="150852170"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/various%20region%20bugs/near/150852170" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/various.20region.20bugs.html#150852170">(Dec 04 2018 at 14:47)</a>:</h4>
<p>It's possible that I get errors on that branch because it isn't based on HEAD and not because of any changes it includes (which is more likely).</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>